Formal Methods for Modelling and Analysis of Single-Event Upsets Ren´e Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen and Erik Ramsgaard Wognsen Department of Computer Science, Aalborg University, Denmark {rrh,k

Source URL: people.cs.aau.dk

A Morphotactic Infrastructure for a Grammar Customization System Kelly O’Hara A thesis submitted in partial fulfillment of

Source URL: www.delph-in.net

• Linguistics
• Grammar
• Formal languages
• Cognitive science
• Language
• Syntax
• Linguistic typology
• Morphology
• Formal grammar

The role of arXiv, RePEc, SSRN and PMC in formal scholarly communication Xuemei Li Peter F. Bronfman Library, York University, Toronto, Ontario, Canada Mike Thelwall Statistical Cybermetrics Research Group, School of Mat

Source URL: www.yorku.ca

• Publishing
• Academia
• Public sphere
• Academic publishing
• Open access
• Social Science Research Network
• Preprint
• Disciplinary repository
• Research Papers in Economics
• ArXiv
• Europe PubMed Central
• Scopus

Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1

Source URL: www.cs.princeton.edu

• Theoretical computer science
• Logic in computer science
• Logic
• Mathematical logic
• Edsger W. Dijkstra
• Formal methods
• Separation logic
• Substructural logic
• Concurrent computing
• Modal logic
• Semantics
• Parallel computing

Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Java Modeling Language
• Postcondition
• Extended static checking
• Predicate transformer semantics
• ESC/Java
• Precondition
• KeY

SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012

Source URL: www.ai4fm.org

• Theoretical computer science
• Software
• Logic
• Proof assistants
• Automated theorem proving
• Formal systems
• Logical truth
• Proof theory
• Isabelle
• ACL2
• Coq
• Proof

Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Theoretical computer science
• Formal methods
• Mathematical logic
• Computability theory
• Type theory
• Algorithm
• Lambda calculus
• Combinatory logic
• Set theory
• Gottlob Frege
• Ernst Zermelo

Controlling Extraction in Abstract Categorial Grammars Sylvain Pogodalla1 and Florent Pompigne2 1

Source URL: www.angl.hu-berlin.de

• Theoretical computer science
• Grammar frameworks
• Complexity classes
• Theory of computation
• Type theory
• Formal languages
• Mathematics
• Categorial grammar
• NP
• Lambda calculus
• Model theory

CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects

Source URL: yices.csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Simplex algorithm